import random
from IPython.core.display import SVG
import pyomo.environ as pyo
from pysat.solvers import Solver
from pysat.formula import CNF
import py_svg_combinatorics as psc
from ipywidgets import widgets, HBox
from collections import Counter
from pprint import pprint
from random import randint
import numpy as np
from IPython.display import IFrame
IFrame('https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Independent_Dominating_Set&useskin=cleanmonobook', width="100%", height=300)